def extract[A](wa: W[A]): A